--TEST--
Get the IOR of an object
--SKIPIF--
<?php if (!extension_loaded("universe")) print "skip"; ?>
--POST--
--GET--
--FILE--
<?php
$ior = "IOR:010000000f00000049444c3a52616e646f6d3a312e3000000100000000000000500000000101000016000000706c616e7874792e6473672e63732e7463642e69650022062c0000003a5c706c616e7874792e6473672e63732e7463642e69653a52616e646f6d3a303a3a49523a52616e646f6d00";
$obj = new UniverseObject($ior);
$ior2 = universe_object_to_string($obj);
echo ">$ior2<";
?>
--EXPECT--
>IOR:010000000f00000049444c3a52616e646f6d3a312e3000000100000000000000500000000101000016000000706c616e7874792e6473672e63732e7463642e69650022062c0000003a5c706c616e7874792e6473672e63732e7463642e69653a52616e646f6d3a303a3a49523a52616e646f6d00<
